Optimal. Leaf size=103 \[ -\frac{i d \cosh \left (c-\frac{d e}{f}\right ) \text{Chi}\left (\frac{d e}{f}+d x\right )}{a f^2}-\frac{i d \sinh \left (c-\frac{d e}{f}\right ) \text{Shi}\left (\frac{d e}{f}+d x\right )}{a f^2}+\frac{i \sinh (c+d x)}{a f (e+f x)}-\frac{1}{a f (e+f x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.220979, antiderivative size = 103, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.194, Rules used = {5563, 32, 3297, 3303, 3298, 3301} \[ -\frac{i d \cosh \left (c-\frac{d e}{f}\right ) \text{Chi}\left (\frac{d e}{f}+d x\right )}{a f^2}-\frac{i d \sinh \left (c-\frac{d e}{f}\right ) \text{Shi}\left (\frac{d e}{f}+d x\right )}{a f^2}+\frac{i \sinh (c+d x)}{a f (e+f x)}-\frac{1}{a f (e+f x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5563
Rule 32
Rule 3297
Rule 3303
Rule 3298
Rule 3301
Rubi steps
\begin{align*} \int \frac{\cosh ^2(c+d x)}{(e+f x)^2 (a+i a \sinh (c+d x))} \, dx &=-\frac{i \int \frac{\sinh (c+d x)}{(e+f x)^2} \, dx}{a}+\frac{\int \frac{1}{(e+f x)^2} \, dx}{a}\\ &=-\frac{1}{a f (e+f x)}+\frac{i \sinh (c+d x)}{a f (e+f x)}-\frac{(i d) \int \frac{\cosh (c+d x)}{e+f x} \, dx}{a f}\\ &=-\frac{1}{a f (e+f x)}+\frac{i \sinh (c+d x)}{a f (e+f x)}-\frac{\left (i d \cosh \left (c-\frac{d e}{f}\right )\right ) \int \frac{\cosh \left (\frac{d e}{f}+d x\right )}{e+f x} \, dx}{a f}-\frac{\left (i d \sinh \left (c-\frac{d e}{f}\right )\right ) \int \frac{\sinh \left (\frac{d e}{f}+d x\right )}{e+f x} \, dx}{a f}\\ &=-\frac{1}{a f (e+f x)}-\frac{i d \cosh \left (c-\frac{d e}{f}\right ) \text{Chi}\left (\frac{d e}{f}+d x\right )}{a f^2}+\frac{i \sinh (c+d x)}{a f (e+f x)}-\frac{i d \sinh \left (c-\frac{d e}{f}\right ) \text{Shi}\left (\frac{d e}{f}+d x\right )}{a f^2}\\ \end{align*}
Mathematica [A] time = 0.528068, size = 85, normalized size = 0.83 \[ -\frac{i \left (d (e+f x) \cosh \left (c-\frac{d e}{f}\right ) \text{Chi}\left (d \left (\frac{e}{f}+x\right )\right )+d (e+f x) \sinh \left (c-\frac{d e}{f}\right ) \text{Shi}\left (d \left (\frac{e}{f}+x\right )\right )-f (\sinh (c+d x)+i)\right )}{a f^2 (e+f x)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.095, size = 164, normalized size = 1.6 \begin{align*} -{\frac{1}{af \left ( fx+e \right ) }}+{\frac{{\frac{i}{2}}d{{\rm e}^{dx+c}}}{a{f}^{2}} \left ({\frac{de}{f}}+dx \right ) ^{-1}}+{\frac{{\frac{i}{2}}d}{a{f}^{2}}{{\rm e}^{{\frac{cf-de}{f}}}}{\it Ei} \left ( 1,-dx-c-{\frac{-cf+de}{f}} \right ) }-{\frac{{\frac{i}{2}}d{{\rm e}^{-dx-c}}}{af \left ( dfx+de \right ) }}+{\frac{{\frac{i}{2}}d}{a{f}^{2}}{{\rm e}^{-{\frac{cf-de}{f}}}}{\it Ei} \left ( 1,dx+c-{\frac{cf-de}{f}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.65693, size = 124, normalized size = 1.2 \begin{align*} -\frac{1}{a f^{2} x + a e f} - \frac{i \, e^{\left (-c + \frac{d e}{f}\right )} E_{2}\left (\frac{{\left (f x + e\right )} d}{f}\right )}{2 \,{\left (f x + e\right )} a f} + \frac{i \, e^{\left (c - \frac{d e}{f}\right )} E_{2}\left (-\frac{{\left (f x + e\right )} d}{f}\right )}{2 \,{\left (f x + e\right )} a f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.16562, size = 278, normalized size = 2.7 \begin{align*} \frac{{\left (i \, f e^{\left (2 \, d x + 2 \, c\right )} +{\left ({\left (-i \, d f x - i \, d e\right )}{\rm Ei}\left (-\frac{d f x + d e}{f}\right ) e^{\left (\frac{d e - c f}{f}\right )} +{\left (-i \, d f x - i \, d e\right )}{\rm Ei}\left (\frac{d f x + d e}{f}\right ) e^{\left (-\frac{d e - c f}{f}\right )} - 2 \, f\right )} e^{\left (d x + c\right )} - i \, f\right )} e^{\left (-d x - c\right )}}{2 \,{\left (a f^{3} x + a e f^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: NotImplementedError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]